Tribu trace - Tribu induite
Tribu trace, tribu induite \(\mathcal A_B\) de \(\mathcal A\) sur \(B\)
Ensemble des éléments de la tribu intersectés avec \(B\). $$:=\{A\cap B\mid A\in\mathcal A\}$$
- on a \(\sigma(\mathcal C)_B=\sigma_B(\mathcal C_B)\) avec \(\sigma_B(\mathcal C_B)\) la tribu engendrée dans \(B\) par \(\mathcal C_B\)
Tribu